Computer engineering - PDFSEARCH.IO - Document Search Engine

Computer engineering
Results: 53783

#	Item
961	AE5 Security Notions Definitions Implicit in the CAESAR Call Chanathip Namprempre1 and Phillip Rogaway2 and Tom Shrimpton3 1 Dept. of Electrical and Computer Engineering, Thammasat University, Thailand Add to Reading List Source URL: web.cs.ucdavis.edu Language: English - Date: 2015-02-21 21:04:37 Cryptography Block cipher modes of operation Symmetric-key cryptography Authenticated encryption Initialization vector Ciphertext indistinguishability Cryptographic nonce Advantage
962	Accepting Blame for Safe Tunneled Exceptions Yizhou Zhang∗ Guido Salvaneschi† Quinn Beightol∗ Barbara Liskov‡ Andrew C. Myers∗ Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2016-05-23 12:46:14 Software engineering Computer programming Computing Object-oriented programming languages Control flow Cross-platform software Concurrent programming languages Java Exception handling Iterator C++ Scala
963	02157 Functional Programming - Sequences Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-01-17 17:30:05 Software engineering Programming language theory Computer programming Functional languages Primality tests Procedural programming languages Integer sequences Lazy evaluation Pure Sieve of Eratosthenes ALGOL 68 Functional programming
964	Verified Peephole Optimizations for CompCert Eric Mullen Daryl Zuniga University of Washington, USA Add to Reading List Source URL: peek.uwplse.org Language: English - Date: 2016-08-08 16:17:02 Computing Software engineering Software Compiler optimizations Programming language implementation Compiler construction Formal methods Logic in computer science CompCert Low-level programming language Peephole optimization Formal verification
965	CONTACT NAME: Sarah Winterbottom TEL: PRODUCTS: SYSPRO ERP Equator HR Orchard - Warehouse Add to Reading List Source URL: connect-erp.com Language: English - Date: 2016-02-01 09:40:03 Business Economy Manufacturing ERP software Computer-aided engineering Information technology management Management Enterprise resource planning Syspro
966	The GPars Quick Reference The Whole GPars Team <> Version 1.2.1, Table of Contents Actor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Add to Reading List Source URL: www.gpars.org Language: English - Date: 2016-04-26 15:35:22 Software engineering Computing Computer programming Object-oriented programming languages Concurrent programming languages Software design patterns Functional languages Scripting languages Clojure Xtend E Closure
967	Audio Engineering Society Convention Paper Presented at the 131st Convention 2011 October 20–23 New York, USA The papers at this Convention have been selected on the basis of a submitted abstract and extended precis t Add to Reading List Source URL: www.j3l7h.de Language: English - Date: 2012-05-27 05:56:17 Software Computer graphics Ray tracing 3D rendering Virtual reality 3D graphics software OptiX Virtual Studio Technology Plug-in Audio plug-in Rendering
968	Defects of the POSIX Sporadic Server and How to Correct Them Mark Stanovich Theodore P. Baker An-I Wang Florida State University, USA Michael Gonz´alez Harbour Add to Reading List Source URL: www.cs.fsu.edu Language: English - Date: 2010-03-29 17:42:48 Scheduling algorithms Computing Computer programming POSIX Scheduling Operating system Underway replenishment Thread Engineering
969	ENGLISH VERSION 2016 \| www.lxnav.com LX 80xx/90xx computer LXNAV computers for the Add to Reading List Source URL: www.lxnav.com Language: English - Date: 2015-10-09 02:49:36 Avionics Aircraft instruments Technology Gliding Variometer FLARM Vario Engineering Attitude and heading reference system Altimeter Systems engineering
970	Description Logics: OWL and DAML+OIL Phillip Lord, Robert D. Stevens, Carole A. Goble, and Ian Horrocks Department of Computer Science University of Manchester, Oxford Road, Manchester Add to Reading List Source URL: homepages.cs.ncl.ac.uk Language: English - Date: 2015-12-15 11:14:30 Knowledge representation Knowledge engineering Ontology Information science Semantic Web Computing Knowledge Web Ontology Language Description logic Semantic reasoner Class Gene ontology

UPDATE